Quantificational logic and empty names

In a number of recent articles Timothy Williamson has built a strong case for the claim that everything necessarily exists. His argument rests on a combination of the derivability of this claim from quantificational logic, with standard modal principles and a robust understanding of the Kripke semantics for quantified modal logic. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. It is argued that although certain names and free variables do not actually denote anything they might have actually done so, allowing one to interpret the contingentist claims without quantifying over non-existent possibilia.